A practical theory of programming
نویسندگان
چکیده
منابع مشابه
Dependent Type Theory Meets Practical Programming
Modern programming languagees rely on advanced type systems that detect errors at compile-time. While the benefits of type systems have long been recognized, there are some areas where the standard systems in programming languages are not expressive enough. Language designers usually trade expressiveness for decidability of the type system. Some interesting programs will always be rejected (des...
متن کاملSchwab's Practical Theory: Integrate of Theory and Practice
The emergence of re-conceptualism in the field of curriculum studies caused a large rotation of identity in this field. The book titled "understanding of curriculum" by William Pinar may be considered the most outstanding work in the field. In this book, movement which affected pre re-conceptualist, are introduced as the traditional type and it is believed the new curriculum discourses should b...
متن کاملPractical Application of Theory-Driven Intervention to Extension Programming
For education to be effective, educators need to understand pertinent theories concerning behavior change and to apply them in programming. The study reported here sought to determine if the Theory of Planned Behavior (TPB) could be used to design, implement, and evaluate a brief educational session. Results show a significant increase in participants' intentions in six areas and should be enco...
متن کاملA Practical Agent Programming Language
This paper discusses the need for an effective and practical BDI-based agentoriented programming language. It proposes an alternative by presenting the syntax and semantics of a programming language, called 2APL (A Practical Agent Programming Language). This programming language facilitates the implementation of multi-agent systems consisting of individual cognitive agents. 2APL distinguishes i...
متن کاملapplying transitivity theory to gender analysis of efl textbook: : a comparative study.
efl/esl textbooks have been regarded as essential language teaching materials with which the learners spend about 70 up to 90 percent of their class time. the important role they play and their vast use make them not only influential in learning the language but also in shaping values and attitudes. put it another way, textbooks socialize learners using their contents (i.e. texts, illustrations...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 1990
ISSN: 0167-6423
DOI: 10.1016/0167-6423(90)90018-9